منابع مشابه
Uniform Monte-Carlo Model Checking
Grosu and Smolka have proposed a randomised Monte-Carlo algorithm for LTL model-checking. Their method is based on random exploration of the intersection of the model and of the Büchi automaton that represents the property to be checked. The targets of this exploration are so-called lassos, i.e. elementary paths followed by elementary circuits. During this exploration outgoing transitions are c...
متن کاملUniform variability management at the model level
In the Software Product Lines (SPL) approach, variability management is crucial and directly impacts SPL models. Diagrams including variability are used and obtained by adding variation points to any graphical formalism. Those “varied diagrams” (e.g. varied class diagrams, varied state diagrams, etc...) represent the SPL from a certain point of view (static, dynamic, etc...) and explicitly enco...
متن کاملUniform Versioning: The Change-Oriented Model
This paper discusses aspects of the Change Oriented Versioning (COV) model, which provides a uniform version concept rather different from the more traditional models. Its main goal is to give users and administrators a more flexible, yet simpler, way to manage changes in large and complex sets of data. In addition to a description of our model, we here add some simple guidelines about how we t...
متن کاملA Constructive Model of Uniform Continuity
We construct a continuous model of Gödel’s system T and its logic HA in which all functions from the Cantor space 2N to the natural numbers are uniformly continuous. Our development is constructive, and has been carried out in intensional type theory in Agda notation, so that, in particular, we can compute moduli of uniform continuity of T-definable functions 2N → N. Moreover, the model has a c...
متن کاملDensity estimation in the uniform deconvolution model
We consider the problem of estimating a probability density function based on data that are corrupted by noise from a uniform distribution. The (nonparametric) maximum likelihood estimator for the corresponding distribution function is well defined. For the density function this is not the case. We study two nonparametric estimators for this density. The first is a type of kernel density estima...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Engineering
سال: 2019
ISSN: 2051-3305,2051-3305
DOI: 10.1049/joe.2018.5135